Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
101	SXML Specification Oleg Kiselyov FNMOC, Monterey, CA[removed]removed], [removed] November 28, 2005 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2005-11-28 17:40:19 Technical communication Acronyms SXML Scheme programming language XML Computing Markup languages Web standards
102	ACSL: ANSI/ISO C Specification Language Version 1.8 ACSL: ANSI/ISO C Specication Language Version 1.8 Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:15 Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
103	JellyJ Language Specification White Paper Mohammad Mahdi Amirian Jamal Pishvayee Add to Reading List Source URL: jellyj.sourceforge.net Language: English - Date: 2002-08-20 14:13:28 Object-oriented programming Object Constructor Java Class C++ classes Inheritance Method Comparison of C Sharp and Java Software engineering Computer programming Computing
104	Specification of Graphical Representations using hypergraphs or meta-models? Merete Skjelten Tveit Faculty of Engineering and Science, University of Agder Grooseveien 36, N-4876 Grimstad, Norway [removed] Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-01-21 06:22:42 Systems engineering Diagrams ISO standards Knowledge representation Hypergraph Modeling language Graph rewriting Unified Modeling Language Syntax Software engineering Computing Computer programming
105	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2012-01-26 05:17:28 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
106	ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9 Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Dangling pointer Software engineering Computing Programming language theory
107	ACSL: ANSI C Specification Language Preliminary design (version 1.2, March 4, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Java Modeling Language Java platform Procedural programming languages Program analysis Frama-C KeY Programming language C SQL Computing Software engineering Software
108	Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Version 1.2 TIS Committee Add to Reading List Source URL: uclibc.org Language: English - Date: 2012-05-05 03:48:31 Programming language implementation Computer file formats Executable and Linkable Format Portable Executable Relocation Object file File Unix Executable Computing Software System software
109	Colorado Software Summit: October 26 – 31, 2003 © Copyright 2003, Perficient, Inc. The Web Services Programming Model Add to Reading List Source URL: www.softwaresummit.com Language: English - Date: 2008-01-03 03:39:56 Remote procedure call Computing platforms Java API for XML-based RPC Enterprise JavaBeans Web Services Description Language SOAP with Attachments API for Java Java Platform Enterprise Edition SOAP Java Community Process Computing Web services Java specification requests
110	High-level Coordination Specification Operational semantics for Kanor Joseph A. Cottam Eric Holk William E. Byrd CREST ∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-06-18 12:19:54 Communication Programming paradigms Message passing Parallel programming model Kinnauri language Control flow ALGOL 68 Computing Software engineering Computer programming